/* szx : mtrap,向CPU MASK集合发送核间中断 */
# include "clint.h"

void rt_hw_ipi_send(int irq, int cpu_mask){
	clint_ipi_send(cpu_mask);
}
